Computable Separation in Topology, from T_0 to T_3
نویسنده
چکیده
This article continues the study of computable elementary topology started in [7]. We introduce a number of computable versions of the topological T0 to T3 separation axioms and solve their logical relation completely. In particular, it turns out that computable T1 is equivalent to computable T2. The strongest axiom SCT3 is used in [2] to construct a computable metric.
منابع مشابه
Computable Separation in Topology, from T0 to T2
This article continues the study of computable elementary topology started in [Weihrauch and Grubba 2009]. For computable topological spaces we introduce a number of computable versions of the topological separation axioms T0, T1 and T2. The axioms form an implication chain with many equivalences. By counterexamples we show that most of the remaining implications are proper. In particular, it t...
متن کاملA cone theoretic Krein-Milman theorem in semitopological cones
In this paper, a Krein-Milman type theorem in $T_0$ semitopological cone is proved, in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.
متن کاملComputable structures on topological manifolds
We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL manifolds respectively. Using the framework of computable topology and Type-2 theory of effectivity, we develop computable versions of all the basic concepts neede...
متن کاملEffect of pair breaking on mesoscopic persistent currents well above the superconducting transition temperature.
We consider the mesoscopic normal persistent current (PC) in a very low-temperature superconductor with a bare transition temperature T_0(c) much smaller than the Thouless energy E(c). We show that in a rather broad range of pair-breaking strength, T_0(c) < or = Planck's/tau(s)< or =E(c), the transition temperature is renormalized to zero, but the PC is hardly affected. This may provide an expl...
متن کامل$LG$-topology
In this paper, we introduce a new model of point free topology for point-set topology. We study the basic concepts in this structure and will find that it is naturally close to point-set topology.
متن کامل